Nuprl Lemma : eclbase_wf 0,22

ds:x:Id fp Type, da:k:Knd fp Type, k:Knd, test:(State(ds)Valtype(da;k)).
eclbase(k;test ecl(ds;da
latex


Definitionsx:AB(x), t  T, ecl(ds;da), eclbase(k;test), xt(x), x(s)
Lemmasma-valtype wf, bool wf, nat wf, decl-state wf, Knd wf, fpf wf, Id wf

origin